// hello, world
#include <inc/lib.h>

void
umain(void)
{
	cprintf("hello, world\n");
	cprintf("i am environment %08x\n", env->env_id);
    int d = sys_get_ref(0, (void *)0x00000000);
    cprintf("ref,%d\n",d);
}
